Suite minimisante \((x_n)_{n\in\Bbb N}\) de \(E\)
Suite qui converge vers la plus petite valeur de \(E\) : $$x_n{\underset{n\to+\infty}\longrightarrow}\inf(E)$$
Suite minimisante \((x_n)_{n\in\Bbb N}\) de \(J:E\to{\Bbb R}\)
Suite qui converge vers l'argument donnant la plus petite valeur de \(J\) : $$\underset{n\to+\infty}{\operatorname{lim} } J(x_n)=\inf_{x\in E}J(x)$$